基于混合测试的软件可靠性加速测试方法研究

为提高软件可靠性测试效率,在分析软件可靠性测试以及测试用例设计方法的基础上,提出一种基于混合测试的软件可靠性加速测试方法.该方法将软件可靠性测试分为两个阶段,第一阶段为传统可靠性测试,第二阶段为针对性测试,并通过过渡准则将软件可靠性测试和针对性测试结合起来,由软件可靠性测试向针对性测试过渡.在针对性测试中提供了一个测试策略接口,使得各种用例设计方法都可以在软件可靠性测试中使用.根据重要性抽样理论求得混合测试加速因子,在减少测试代价的同时实现了利用混合测试失效数据进行软件可靠性评估.实验结果表明该方法较传统软件可靠性测试有较大提高.     

自适应多分辨图像跟踪算法

针对实时图像跟踪中目标尺度不断变化的问题,提出了一种新的最大后验概率指标下尺度自适应的多分辨图像跟踪算法.首先证明了后验概率指标的像素级计算特性,在该特性的基础上提出了一种最大后验跟踪算法.由于后验概率指标不仅可以按照特征进行计算,还可以按照像素进行计算,从而可以方便地实现不同尺度上的像素相似度贡献值的计算和比较,据此提出了一种新的目标尺寸自适应算法.此外,当目标尺寸较大时,可以采用不同的分辨率来计算候选匹配区域的匹配概率值,大大降低计算量,从而保证实时跟踪的时间需求.综合上述特点,给出了最大后验概率指标下目标尺寸自适应的多分辨图像跟踪算法.多组视频跟踪实验结果表明了本算法的有效性.     

一种基于VFD多核系统的硬实时任务节能调度算法

由于芯片功耗不断增加,节能已成为一个亟待解决的重要问题.基于全局异步局域同步(GALS)及电压频率域(VFD)技术的多核处理器计算平台,提出周期性硬实时任务节能调度算法.首先将给定任务集中的实时任务按最差匹配递减(WFD)策略映射到各个计算核上,使各计算核的利用率相对更加均衡,然后利用静态电压?频率调整策略,将每一个VFD内各计算核的共享运行频率降至此VFD中负载最重的计算核的利用率以回收并利用空闲时间节能.在静态策略的基础上提出空闲时间重分配(SR)策略,在保证实时任务可调度的前提下,通过进行任务迁移来平衡VFD内各计算核上的空闲时间分布,以进一步降低VFD的共享运行频率,从而降低能耗.实验表明提出的节能算法可取得较好的节能效果.     

基于SRTMv4的异龙湖流域地形因子提取

以最新SRTMv4版DEM作为基础数据,选择异龙湖流域为研究区域,利用ArcGIS 10平台中的水文分析扩展模块提取异龙湖流域的流域边界和流域水文特征两方面的流域地形因子。根据提取结果与获取到的实测数据进行有效性检验:①与实际调查数据的水系网和1∶5万水系图对照比较,发现基于SRTM DEM所提取出的流域地形因子等信息是合理有效的。②与1∶5万DEM所提取流域水网进行对比发现基于SRTM DEM所提取的数据精度较为满意,在相同河网密度情况下,基于SRTM的DEM与1∶5万DEM的水网细节表现高度一致,具有可靠性。     

基于离散余弦变换的图像局部特征描述子

针对尺度不变特征变换(SIFT)描述子受光照变化影响较大的缺点,提出一种基于离散余弦变换(DCT)的图像局部不变特征描述子。在DCT变换的基础上,忽略高频系数,使用少数中低频系数组成特征矩阵,以降低描述子的维数。利用DCT频率系数正负性对光照变化不敏感的特点,在计算描述子间距离时设置惩罚因子,以提高描述子的可区分性。测试结果表明,与SIFT描述子相比,该描述子具有较好的显著性,且查全率和查准率较高。     

一种改进的导航信号窄带干扰抑制方法

针对导航信号中的窄带干扰问题,提出一种基于频域处理的最小均方(LMS)窄带干扰抑制方法。该方法在传统的LMS滤波器结构中引入权值泄漏因子a,以减少导航信号中有用信号在滤波过程中的损失。通过采用权值系数稳定度d的判断处理去除导航信号中的变频窄带干扰。仿真结果表明,该方法对固频和变频的窄带干扰都有较好的抑制效果,可提高导航接收机的抗干扰性能。     

一种基于几何性质的鱼眼图像校正算法

为快速、高效地校正具有径向畸变的鱼眼图像,提出一种基于几何性质的校正算法。根据投影不变性原理以及径向畸变的几何特性,计算畸变直线的斜率,并通过求解线性方程组得出多项式校正模型的参数。实验结果表明,该算法能够以较低的运算复杂度获得较高的校正精度,相比于采用数学迭代拟合直线的方法,该算法在图像整体校正质量上有明显改善。     

BGP/MPLS VPN组播链路恢复方案

BGP/MPLS VPN组播链路失效后,一棵组播树会断开成不相连的子树。为此,使用备用路径连接子树,重构组播树,减少备用链路上的离线概率加权主机数。找出备用路径建立时失效链路对组播树的影响因子,设计组播备用路径算法,使该影响因子最小化,从而提高组播树的健壮性。分析结果表明,该算法能实现组播链路的快速恢复。     

遗传算法的改进及其工程应用研究

控制器参数的优劣对工业控制器的性能影响较大,参数寻优也是当前智能算法的主要研究的方向之一。遗传算法因其优良的寻优能力得到了广泛的发展,但其本身尚存在诸多问题有待改进。针对传统遗传算法种群多样性较差、优化过程中易过早收敛的缺点,在传统遗传算法的基础上提出并加入了一种种群精简优化算法,提高了寻优精度。将该算法应用于工业转炉汽包液位控制系统参数寻优,提高了液位控制精度。     

消费品质量安全影响因子评估系统设计与实现

主要研究了消费品质量安全影响因子评估系统的设计与实现。首先分析了消费品质量安全影响因子评估工作流程,从而确定了系统的功能需求。然后通过用例分析、静态行为建模、动态行为建模等UML分析工具对评估系统进行了功能设计和数据库设计。最后选取了VisualStudio开发平台根据三层架构理论对该系统进行了实现。该系统适用于所有消费品质量安全影响因子评估工作。